Inferencia

Inferencia
circunstancia de la fuente (es) y tipo de proceso (es)
procesu

Una inferencia ye una evaluación que realiza la mente ente proposiciones. La inferencia ye l'acción y efeutu d'inferir, n'otres pallabres, deducir daqué, sacar una consecuencia d'otra cosa, conducir a una nueva resultancia. La inferencia naz a partir d'una evaluación mental ente distintes espresiones, que al ser rellacionaes como astracciones, dexen trazar una implicación lóxica.

En lóxica formal, les inferencias son espresiones bien formaes (EBF) d'un llinguaxe formal que, al ser rellacionaes, dexen trazar una llinia lóxica de condición o implicación lóxica ente les distintes EBF. D'esta forma, parte de lo verdadero a lo falso: posible (como hipótesis) o conocida (como argumentu) de dalguna o dalgunes d'elles, puede deducise la verdá o falsedá de dalguna o dalgunes de les otres EBF.

Surde asina lo que conocemos como postuláu^[1] o tresformada d'una espresión orixinal conforme a regles primeramente establecíes,^[2] que puede enmarcase n'unu o dellos contestos referenciales diversos,^[3] llográndose en cada unu d'ellos un significáu como valor de verdá d'equivalente.^[4][5][6]

La inferencia ye la operación lóxica utilizada nos motores de inferencia de los sistemes espertos.

1. ↑ posibilidá o hipótesis
2. ↑ productu o conxunción de tolos elementos astractos qu'intervienen, y aplicación de regles de tresformamientu, como un cálculu o argumentu
3. ↑ Modelos teóricos
4. ↑ Chomsky, Noam - The Psychology Of Language And Thought
5. ↑ Noam Chomsky - Logical Syntax And Semantics, Their Linguistic Relevance
6. ↑ Noam Chomsky - Syntactic Structures ISBN 3-11-017279-8